Jean-Yves Girard
線形論理およびSystem Fの開発者．